Europe's "Digital Single Market Agenda" is now published.